(Generalized) quasi-topological gravities at all orders
نویسندگان
چکیده
منابع مشابه
Generalized Priestley Quasi-Orders
We introduce generalized Priestley quasi-orders and show that subalgebras of bounded distributive meet-semilattices are dually characterized by means of generalized Priestley quasi-orders. This generalizes the well-known characterization of subalgebras of bounded distributive lattices by means of Priestley quasiorders (Adams, Algebra Univers 3:216–228, 1973; Cignoli et al., Order 8(3):299– 315,...
متن کاملUltraviolet Renormalon at All Orders
We discuss the singularity in the Borel plane of the ultraviolet renormalon due to the multiple exchanges of the all-order Gell-Man–Low effective charges. A consistent picture of the UV renormalon emerges when the effective charge is considered in all orders. Contrary to the case of the one-loop effective charge, the strength of the singularity is independent of the number of exchanges. A syste...
متن کاملWell - Quasi - Orders Christian
Based on Isabelle/HOL’s type class for preorders, we introduce a type class for well-quasi-orders (wqo) which is characterized by the absence of “bad” sequences (our proofs are along the lines of the proof of Nash-Williams [1], from which we also borrow terminology). Our main results are instantiations for the product type, the list type, and a type of finite trees, which (almost) directly foll...
متن کاملPRECOMPACT TOPOLOGICAL GENERALIZED GROUPS
In this paper, we introduce and study the notion of precompacttopological generalized groups and some new results are given.
متن کاملWell-Quasi-Orders
Based on Isabelle/HOL’s type class for preorders, we introduce a type class for well-quasi-orders (wqo) which is characterized by the absence of “bad” sequences (our proofs are along the lines of the proof of Nash-Williams [1], from which we also borrow terminology). Our main results are instantiations for the product type, the list type, and a type of finite trees, which (almost) directly foll...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Classical and Quantum Gravity
سال: 2019
ISSN: 0264-9381,1361-6382
DOI: 10.1088/1361-6382/ab5410